00100	CS 224,  Handout #5					    Page 1
00200	
00300	       Schedule of Lectures (Revised but still Tentative)			       
00400	
00500	Lec.  Date     Topic					     Speaker
00600	
00700	
00800	1. April 2     Introduction                                  Green
00900	2. April 4     Problem Representation                        Green
01000	
01100	3. April 9     Problem Space Searching                       Nilsson
01200	4. April 11    Theorem-Proving                               Green
01300	
01400	5. April 16    Automatic Theorem-proving                     Luckham
01500	6. April 18    Formal Representation                         McCarthy
01600	
01700	7. April 23    Human Memory                                  Feigenbaum
01800	8. April 25    Human Problem-Solving                         Feigenbaum
01900	
02000	9. April 30    Natural Language Processing                   Winograd
02100	10. May 2      Natural Language Processing                   Winograd
02200	
02300	11. May 7      Speech Understanding Systems                  Reddy   
02400	12. May 9      Learning, Planning, STRIPS                    Fikes
02500	
02600	13. May 14     Computer Simulation of Paranoia               Colby
02700	14. May 16     Vision and Robotics                    Bolles/Feldman
02800	
02900	15. May 21     Vision and Robotics                           Feldman
03000	16. May 23     New Languages for AI Research                 Bobrow
03100	
03200	17. May 28     Heuristic DENDRAL and Other AI Applications   Buchanan
03300	18. May 30     "Induction" Programs                          Buchanan
03400	
03500	19. June 4     Automatic Programming                         Green
03600	20. June 6     Review                                          
     

00100	    Schedule of Reading Assignments (Revised but Tentative)      2
00200	
00300	
00400	Lec.  Date     Assignment				     Speaker
00500	
00600	1. April 2|   |Nilsson, Chap. 1,2,3.1-3.3;                   Green
00700	2. April 4|   |Classnotes, pp. 161-193 (Nilsson's Overview)  Green
00800	
00900	3. April 9|   |Nilsson, Chap. 3,4,5 (optional: 3.8,3.9,5.8)  Nilsson
01000	4.April 11|   |Classnotes, pp. 58-106 (MIT report)           Green
01100	
01200	5. April 16    Nilsson, Chap. 6,7 (just scan 6.7-6.13,       Luckham
01300			    6.15,7.3,7.4, and scan all of Chap. 8)
01400	6. April 18    Classnotes, pp. 128-144 (McCarthy & Hayes)    McCarthy
01500	
01600	7. April 23|  |Schank and Colby, Chap. 1                     Feigenbaum
01700	8. April 25|  |Classnotes, pp. 145-148 (Simon)               Feigenbaum
01800	
01900	9. April 30|  |Schank and Colby, Chap. 4,5                   Winograd
02000	10. May 2  |  |                                              Winograd
02100	
02200	11. May 7      Classnotes, pp. 107-127(Newell,Reddy)         Reddy   
02300			also, Classnotes, pp. 153-160 (Woods)
02400	12. May 9      Classnotes, pp. 38-57 (Fikes)                 Fikes
02500	
02600	13. May 14     Schank and Colby, Chap. 6                     Colby
02700	14. May 16|   |Classnotes, pp. 149-152 (Winston),     Bolles/Feldman
02800		  |   |            and also
02900	15. May 21|   |            pp. 1-23 (Falk)                   Feldman
03000	16. May 23                                                   Bobrow
03100	
03200	17. May 28|   |Classnotes, pp. 24-37 (Feigenbaum)            Buchanan
03300	18. May 30|   |                                              Buchanan
03400	
03500	19. June 4                                                   Green
03600	20. June 6
03700	
03800	Note: vertical bars indicate that the assignment is for the week;
03900	absence of bars means it is for that one particular lecture.